1. Barriers and Challenges in Computational Fluid Dynamics
پدیدآورنده : edited by V. Venkatakrishnan, Manuel D. Salas, Sukumar R. Chakravarthy.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Algorithms.,Computer science-- Mathematics.,Differential equations, Partial.,Engineering mathematics.,Mechanics.,Physics.
2. Cardinalities of Fuzzy Sets
پدیدآورنده : by Maciej Wygralak.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science -- Mathematics.,Group theory.,Mathematics.
رده :
QA248
.
5
B963
2003
3. Combinatorics on words :
پدیدآورنده : Juhani Karhumäki, Arto Lepistö, Luca Zamboni (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Combinatorial analysis, Congresses,Word problems (Mathematics), Congresses
رده :
QA164
.
W67
2013
4. Computing with foresight and industry :
پدیدآورنده : Florin Manea, Barnaby Martin, Daniel Paulusma, Giuseppe Primiero, (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computable functions, Congresses.,Computer science-- Mathematics, Congresses.,Computable functions.,Computer science-- Mathematics.
رده :
QA9
.
59
.
C67
2019
5. Constructive Nonsmooth Analysis and Related Topic
پدیدآورنده : / electronic resource
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Mathematics,Differentiable dynamical systems,Algorithms,Computer science,Mathematical optimization,Mathematics,Optimization,Algorithms,Dynamical Systems and Ergodic Theory,Computational Science and Engineering
رده :
E-BOOK
6. DSP for MATLAB and LabVIEW
پدیدآورنده : / Forester W. Isen
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : MATLAB,LabVIEW,Signal processing, Digital techniques,Transformations (Mathematics),MATLAB,LabVIEW,MathScript,DSP (Digital Signal Processing),Discrete Time FourierTransform (DTFT),z-Transform,Discrete Fourier transform (DFT),Fast Fourier transform (FFT),Goertzel algorithm,Discrete Fourier series (DFS),Frequency domain,Discrete frequency transform,FIR,IIR,Direct form,Direct form transposed,Parallel form,Cascade form,Lattice form,Decimation-in-time (DIT)
رده :
E-BOOK
7. Finite Automata, Formal Logic, and Circuit Complexity
پدیدآورنده : by Howard Straubing.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science.,Logic, Symbolic and mathematical.,Mathematics.
رده :
QA76
.
9
.
M35
B946
1994
8. Finite versus infinite :
پدیدآورنده : Cristian S. Calude and Gheorghe Păun [eds.].
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science -- Mathematics.,Finite, The.,Infinite.
رده :
QA295
.
C757
2000
9. Fundamentals of network biology /
پدیدآورنده : WenJun Zhang (Sun Yat-sen University, China).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Bioinformatics.,Biometry-- Data processing.,Systems biology-- Methodology.,Bioinformatics.,Biometry-- Data processing.,NATURE-- Reference.,SCIENCE-- Life Sciences-- Biology.,SCIENCE-- Life Sciences-- General.
رده :
QH323
.
5
.
Z45
2018
10. General Inequalities 6
پدیدآورنده : edited by Wolfgang Walter.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Science (General).
11. Great circle of mysteries :
پدیدآورنده : Misha Gromov.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Mathematics.,Nature.,MATHEMATICS-- Essays.,MATHEMATICS-- Pre-Calculus.,MATHEMATICS-- Reference.,Mathematics.,Nature.
رده :
QA36
12. Group-Theoretic Aspects of Complexity Theory and Coding Theory
پدیدآورنده : Black, Timothy James Fornell
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science,Mathematics
13. Group-Theoretic Aspects of Complexity Theory and Coding Theory
پدیدآورنده : Black, Timothy James Fornell
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science,Mathematics
14. Introduction to lattice theory with computer science applications /
پدیدآورنده : Vijay K. Garg
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science-- Mathematics.,Engineering mathematics.,Lattice theory.
رده :
QA76
.
9
.
L38
15. Introduction to queueing networks :
پدیدآورنده : J. MacGregor Smith.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Industrial engineering-- Mathematics.,Mathematical models.,Queuing networks (Data transmission)-- Mathematics.,Queuing theory-- Mathematics.,Mathematical Modeling and Industrial Mathematics.,Mathematics.,Simulation and Modeling.,Transportation Technology and Traffic Engineering.,3D graphics & modelling.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Highway & traffic engineering.,Industrial engineering-- Mathematics.,Mathematical modelling.,Mathematical models.,Queuing networks (Data transmission)
رده :
T57
.
9
.
S625
2018
16. Language and automata theory and applications :
پدیدآورنده : edited by Shmuel Tomi Klein, Carlos Martín-Vide, Dana Shapira.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Formal languages, Congresses.,Machine theory, Congresses.,Mathematical linguistics, Congresses.,Algorithms & data structures.,Artificial intelligence.,Computer programming-- software development.,Computers-- Intelligence (AI) & Semantics.,Computers-- Mathematical & Statistical Software.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Formal languages.,Machine theory.,Mathematical linguistics.,Mathematical theory of computation.,Mathematics-- Logic.,Maths for computer scientists.
رده :
QA267
.
L38
2018
17. Linear algebra and probability for computer science applications /
پدیدآورنده : Ernest Davis
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Algebras, Linear,Computer science-- Mathematics,Probabilities
رده :
QA76
.
9
.
M35
D38
2012
18. Mathematical foundations of computer science 2003 :
پدیدآورنده : Krzysztof Diks and Wojciech Rytter (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science -- Mathematics -- Congresses.,Computer science -- Mathematics.
19. Mathematics and the natural sciences :
پدیدآورنده : Francis Bailly, Giuseppe Longo
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Biomathematics,Mathematical models,Mathematics-- Philosophy,Physics-- Philosophy,Space and time
20. Naming game :
پدیدآورنده : Guanrong Chen, Yang Lou.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer simulation.,Social sciences-- Simulation methods.,Computer simulation.,Social sciences-- Simulation methods.
رده :
QA76
.
9
.
C65